Skip to content

Conversation

juleswritescode
Copy link
Collaborator

@juleswritescode juleswritescode commented Jul 19, 2025

we'll have to deploy to see if this actually works – using mike serve apparently doesn't deploy the local docs/ directory, but uses a git branch.

@psteinroe psteinroe merged commit be2cd02 into main Jul 22, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants